\frame[containsverbatim]
{
  \frametitle{LockCountDataflowEngine (continued)}
  Perform the analysis and return the completed
  LockCountDataflow object:
{\scriptsize
\begin{verbatim}
public Object analyze(IAnalysisCache analysisCache,
        MethodDescriptor descriptor) throws CheckedAnalysisException {
  CFG cfg =
    analysisCache.getMethodAnalysis(CFG.class, descriptor);
  DepthFirstSearch dfs =
    analysisCache.getMethodAnalysis(DepthFirstSearch.class, descriptor);
  Method method =
    analysisCache.getMethodAnalysis(Method.class, descriptor);
  
  LockCountAnalysis analysis = new LockCountAnalysis(
    dfs, method.isSynchronized());
  LockCountDataflow dataflow = new LockCountDataflow(cfg, analysis);
  
  dataflow.execute();
  return dataflow;
}
\end{verbatim}
}
}
